Formal system

Results: 1034



#Item
771Personally identifiable information / Surveillance / Information privacy / Ethics / European Data Protection Supervisor / Privacy / Security / Public safety

EDPS formal comments on the proposal for a Regulation of the European Parliament and of the Council establishing the European Border Surveillance System (EUROSUR) (COM[removed]final)

Add to Reading List

Source URL: secure.edps.europa.eu

Language: English - Date: 2012-02-13 06:14:28
772

EDPS formal comments on the proposal for a Regulation of the European Parliament and of the Council establishing the European Border Surveillance System (EUROSUR) (COM[removed]final)

Add to Reading List

Source URL: secure.edps.europa.eu

Language: German - Date: 2012-03-06 09:03:50
    773

    EDPS formal comments on the proposal for a Regulation of the European Parliament and of the Council establishing the European Border Surveillance System (EUROSUR) (COM[removed]final)

    Add to Reading List

    Source URL: secure.edps.europa.eu

    Language: French - Date: 2012-03-06 09:03:50
      774Human–computer interaction / User interfaces / Computer keyboards / User interface / Virtual reality / Text-based / Operating system / X Window System / Keyboard layout / Software / User interface techniques / Computing

      Formal Specification of Security-relevant Properties of User Interfaces1 Bernhard Beckert Gerd Beuster

      Add to Reading List

      Source URL: i12www.ira.uka.de

      Language: English - Date: 2014-04-20 12:45:14
      775Formal methods / Prevention / Software requirements / Systems engineering / Dependability / Information security / Requirement / Business requirements / Software development process / Software development / Security / Quality

      Part 2 Tackling various subjects to realize the levels of dependability and security of information system software required in a safe and secure advanced information society Chapter 1 Preparation of evaluation/managemen

      Add to Reading List

      Source URL: www.meti.go.jp

      Language: English - Date: 2013-01-06 00:57:34
      776British honours system / Jobcentre Plus / Anne Begg / Department for Work and Pensions / United Kingdom / Work and Pensions Select Committee

      Work and Pensions Committee: Formal Minutes 2013–14 1 Proceedings of the Committee Monday 13 May 2013 Members present: Dame Anne Begg, in the Chair

      Add to Reading List

      Source URL: www.parliament.uk

      Language: English - Date: 2014-05-21 10:14:03
      777Jenny Willott / Tom Levitt / Terry Rooney / Anne Begg / Work and Pensions Select Committee / Joan Humble / Department for Work and Pensions / Oliver Heald / British honours system / Politics of the United Kingdom / Government of the United Kingdom / Parliament of the United Kingdom

      Microsoft Word - Formal Minutes[removed]

      Add to Reading List

      Source URL: www.parliament.uk

      Language: English - Date: 2010-06-23 08:54:27
      778Data / Open Biomedical Ontologies / Formal ontology / Barry Smith / Unified Medical Language System / Semantic Web / Upper ontology / OBO Foundry / Ontology / Information / Science

      Submitted to special issue on ONTOLOGIES, SEMANTIC WEB AND HEALTH, Electronic Journal of Communication, Information & Innovation in Health (RECIIS), http://www.reciis.cict.fiocruz.br/index.php/reciis Strengths and Limita

      Add to Reading List

      Source URL: www.debugit.eu

      Language: English - Date: 2011-12-01 04:59:30
      779Medicine / Bioinformatics / Information science / Technical communication / Medical classification / SNOMED CT / Unified Medical Language System / Open Biomedical Ontologies / Formal ontology / Science / Ontology / Information

      Survey of current Terminologies and Ontologies in Biology and Medicine Fred Freitas1, Stefan Schulz2, Eduardo Moraes1 1

      Add to Reading List

      Source URL: www.debugit.eu

      Language: English - Date: 2011-12-01 04:59:32
      780System administration / Transaction processing / Emerging technologies / Formal sciences / Big data / Data modeling / Lustre / Scalability / Data center / Computing / Concurrent computing / Technology

      High Performance Computing and Big Data Helps Sequence Infectious Diseases Integration by OCF helps to analyse sequences of pathogen DNA samples to provide public service Public Health England [PHE] the executive agency

      Add to Reading List

      Source URL: www.ocf.co.uk

      Language: English - Date: 2014-07-10 11:23:51
      UPDATE